sigma complete semilattice

完备半格